Constructible function - PDFSEARCH.IO - Document Search Engine

Constructible function
Results: 268

#	Item
101	Max-Margin Parsing Ben Taskar Computer Science Dept. Stanford University Dan Klein Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2005-10-04 19:10:28 Parse tree Mathematical analysis Mathematics Function Constructible universe
102	MATEMATIQKI VESNIK originalni nauqni rad research paper 65, [removed]), 306–318 Add to Reading List Source URL: www.kurims.kyoto-u.ac.jp Language: English - Date: 2013-02-03 13:15:18 Constructible universe Compact space Continuous function Topological property Ordinal number Spectral theory of ordinary differential equations Symbol Topology General topology Pseudocompact space
103	On Certain Sufficiency Criteria for p-Valent Meromorphic Spiralike Functions Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2014-08-28 17:32:03 Operator theory Complex analysis Spectral theory Constructible universe Hypergeometric function Spectral theory of ordinary differential equations Vertex operator algebra Mathematical analysis Mathematics Ordinary differential equations
104	IKP and Friends Robert S. Lubarsky∗ 1755 NE 18th St. Ft. Lauderdale, FL[removed]USA [removed] Add to Reading List Source URL: math.fau.edu Language: English - Date: 2006-07-05 14:18:17 Model theory Constructible universe Mathematical logic Proof theory Μ operator Linear temporal logic Mathematics Logic Function
105	RECONSTRUCTING THIN SHAPES FROM BOUNDARY ELECTRICAL MEASUREMENTS WITH LEVEL SETS By ´ D. Alvarez Add to Reading List Source URL: www.ima.umn.edu Language: English - Date: 2015-02-09 12:18:02 Function Dirac delta function Logarithm Constructible universe Mathematical analysis Mathematics Functions and mappings
106	ELEMENTARY EPIMORPHISMS BETWEEN MODELS OF SET THEORY ROBERT LUBARSKY AND NORMAN LEWIS PERLMUTTER Abstract. We show that every Π1 -elementary epimorphism between models of ZF is an isomorphism. On the other hand, nonisom Add to Reading List Source URL: math.fau.edu Language: English - Date: 2014-05-05 13:51:37 Set theory Epimorphism Homomorphism Forcing Ordinal number Constructible universe Sheaf Zermelo–Fraenkel set theory Surjective function Mathematical logic Mathematics Morphisms
107	CZF and Second Order Arithmetic Robert S. Lubarsky∗ Dept. of Mathematical Sciences Florida Atlantic University Boca Raton, FL 33431, USA [removed] Add to Reading List Source URL: math.fau.edu Language: English - Date: 2006-07-10 16:24:56 Functions and mappings Model theory Constructive set theory Intuitionism Mathematical constructivism Interpretation Function Constructible universe Μ operator Mathematics Mathematical logic Logic
108	Reasoning about Programs by Exploiting the Environment* Limor Fix Fred B. Schneider Department of Computer Science Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 20:28:10 Mathematical logic Propositional calculus Formal languages First-order logic Model theory Entailment Function Constructible universe Logical connective Logic Logical syntax Metalogic
109	Braid Order: History and Connection with Knots Patrick Dehornoy Laboratoire de Math´ ematiques Nicolas Oresme, Universit´ Add to Reading List Source URL: math.unicaen.fr Language: English - Date: 2009-05-23 12:49:18 Knot theory Functions and mappings Model theory Group theory Braid group Embedding Braid theory Injective function Constructible universe Mathematics Topology Abstract algebra
110	Set-Rationalizable Choice and Self-Stability Felix Brandt and Paul Harrenstein Technische Universit¨at M¨ unchen[removed]Garching bei M¨ unchen, Germany Add to Reading List Source URL: dss.in.tum.de Language: English - Date: 2012-01-30 12:23:44 Economics Voting systems Voting theory Ordinal numbers Constructible universe Function Preference Social Choice and Individual Values Coherent topology Mathematics Mathematical logic Social choice theory

UPDATE